Petri Net Based Software Dependability Engineering
نویسنده
چکیده
Methods of software dependability engineering can be divided into two groups methods to improve the software dependability and methods to predict the reached degree of software dependability. Among those methods, which aim at the improvement of software dependability, the Petri net based validation techniques to avoid faults during the development phase have attract a lot of attention in the last years. Within this framework, Petri net models play the role of a common intermediate software representation, from which different validation techniques are able to start qualitative as well as quantitative ones. Based on this experience, the approach to integrate different methods on a common representation is extended by a formal method to derive Petri net models suitable for a structureoriented reliability prediction.
منابع مشابه
Formal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملPETRI NET WORKFLOW MODELING FOR DIGITAL PUBLISHING MEASURING QUANTITATIVE DEPENDABILITY ATTRIBUTES By
of Thesis Presented to the Graduate School of the University of Puerto Rico in Partial Fulfillment of the Requirements for the Degree of Master of Science PETRI NET WORKFLOW MODELING FOR DIGITAL PUBLISHING MEASURING QUANTITATIVE DEPENDABILITY ATTRIBUTES By Gustavo Adolfo Chaparro-Baquero July 2006 Chair: Nayda G. Santiago, Ph.D Major Department: Electrical and Computer Engineering This work des...
متن کاملDiscrete and Hybrid Systems Dependability Analysis with ESA PetriNet
Based on Petri net modelling and linear logic as formal framework, ESA PetriNet allows to carry out dependability analysis of discrete (based on temporal Petri nets modelling) or hybrid systems (differential predicate-transition Petri nets modelling). ESA PetriNet implements the approach for critical scenarios deriving. The approach is based on a qualitative analysis of Petri net model. It cons...
متن کاملDependability Modeling Using Petri-Nets
Duke University, Durham Petri-net based models have been extensively used for performance & performability modeling to analyze computer & communication systems [ 1 71. However, in the dependability modeling co-unity, Petri-net based models have received co~i&rably less attention [8 101. This paper describes a methodology to con
متن کاملAn Adaptive N-Variant Software Architecture for Multi-Core Platforms: Models and Performance Analysis
This paper discusses the models and performance analysis for an adaptive software architecture, which supports multiple levels of fault detection, masking, and recovery through reconfiguration. The architecture starts with a formal requirement model defining multiple levels of functional capability and information assurance. The architecture includes a multi-layer design to implement the requir...
متن کامل